In this paper I discuss the role played by the 'categorical imperative' in the thought of Jean-Luc Nancy. I argue that, while this is a theme of major importance in Nancy's work, its overall significance is not immediately evident: on the surface, Nancy appears to be affirming the abstract exigency of the imperative while at the same time depriving it of any possible concrete force. I maintain, however, that a close reading of this theme in terms of other crucial themes (...) in Nancy's writing (namely: 'interruption' and the Heideggerian notion of 'Being-with' [Mitsein, être-avec]) reveals that Nancy's imperative does have concrete implications; indeed, it demands that we rethink the relation between responsibility and the concrete as such. Key Words: communication • community • Jacques Derrida • Martin Heidegger • imperative • Jean-Luc Nancy • responsibility. (shrink)

Though the claims they make about temporality are markedly different, Henri Bergson and Martin Heidegger agree that time is a philosophically foundational phenomenon; indeed, they agree that time is, in certain respects, the basis for all discursively representable beings. This paper focuses not so much on their theories of temporality (i.e., their respective answers to the question what is time? and their justifications for these answers) but rather on the challenges involved in talking about this phenomenon at all. Both thinkers (...) are highly sensitive to these challenges and to the problems involved in any attempt to represent time in a discursively straightforward manner. I will show that: (1) Bergson’s and Heidegger’s respective claims about time can be fully understood only if we keep this sensitivity in view and carefully note what they are—and aren’t—doing in talking about time ; and (2) what is ultimately at stake in their analyses is not just the phenomenon of time but what it means to engage in rigorous philosophical praxis. (shrink)

This paper is an investigation of the relationship between G\"odel's second incompleteness theorem and the well-foundedness of jump hierarchies. It follows from a classic theorem of Spector's that the relation $\{(A,B) \in \mathbb{R}^2 : \mathcal{O}^A \leq_H B\}$ is well-founded. We provide an alternative proof of this fact that uses G\"odel's second incompleteness theorem instead of the theory of admissible ordinals. We then derive a semantic version of the second incompleteness theorem, originally due to Mummert and Simpson, from this result. Finally, (...) we turn to the calculation of the ranks of reals in this well-founded relation. We prove that, for any $A\in\mathbb{R}$, if the rank of $A$ is $\alpha$, then $\omega_1^A$ is the $(1 + \alpha)^{\text{th}}$ admissible ordinal. It follows, assuming suitable large cardinal hypotheses, that, on a cone, the rank of $X$ is $\omega_1^X$. (shrink)

This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through category (...) theory. This categorical harmony is stated in terms of adjoints and says that any concept definable by iterated adjoints from general categorical operations is harmonious. Moreover, it has been shown that identity in a categorical setting is determined by an adjoint in the relevant way. Furthermore, path induction as a rule comes from this definition. Thus we arrive at an account of how path induction, as a rule of inference governing identity, can be justified on mathematically motivated grounds. (shrink)

This book explores the role of aggression in primate social systems and its implications for human behavior.

In lieu of an abstract, here is a brief excerpt of the content:The Case against Rational Egoism in Dostoevsky’s Notes from Underground*James P. ScanlanWriting in his own voice, in letters, notebooks, and diaries, Fyodor Dostoevsky frequently attacked the philosophy of the Russian “nihilists,” as he typically called them—Nikolay Chernyshevsky, Dmitry Pisarev, and other representatives of the radical Russian intelligentsia in the third quarter of the nineteenth century. But because Dostoevsky also used fiction to argue against them, if we wish (...) to discern the full contours of his opposition, we must turn to his stories and novels; and there we face the problem of determining to what extent, if any, the statements of his narrators and characters express his own views.This problem is particularly challenging in regard to the radicals’ “Rational Egoism,” to use the label by which the Russian variant of the theory of enlightened egoism came to be known. 1 Dostoevsky’s most sustained and spirited attack on that aspect of “nihilist” philosophy is found in Part One of Notes from Underground (1864), but it is voiced by one of the darkest, least sympathetic of all his characters—the nameless narrator and protagonist known as the Underground Man. Was this repellent creature speaking for Dostoevsky? The Underground Man, moreover, can easily be viewed as a sheer irrationalist whose rejection of Rational Egoism is a tortured emotional outburst with no logical credentials. Robert L. Jackson, in his groundbreaking study of 1958, describes the Underground Man’s thinking at one point as follows: “It is impossible to argue [End Page 549] with the rationalists: reason is on their side. All that remains is irrationally to negate reason.” 2 If those words were to be taken not simply as a moment in Jackson’s rich analysis but as a comprehensive description of the Underground Man’s attitude, it would be senseless to expect philosophically nuanced arguments from him. And we would have no grounds for thinking that Dostoevsky’s own treatment of Rational Egoism went beyond emotional rejection.Critics from Vasily Rozanov to Joseph Frank have debated the Underground Man’s stance toward Rational Egoism and its relation to Dostoevsky’s, with no sign yet of a definitive resolution. Frank’s recent treatment, presented in the third volume of his monumental literary biography of Dostoevsky, offers a helpful history of the dispute as well as his own finely elaborated interpretation of the Underground Man as an irrational opponent of Rational Egoism. 3 Frank reads Notes from Underground as satire, and he contends that the Underground Man is caught in an agonizing self-contradiction: intellectually, he accepts the basic premises of the Rational Egoists’ outlook, such as the denial of free will; but he finds that, “despite the convictions of his reason,” he cannot live with the amoral and dehumanizing implications of those premises, which strip human beings of moral responsibility. 4 From a rational point of view, of course, rejection of the implications should force the Underground Man to reject the premises as well (by the hoary logical law of modus tollendo tolens), and indeed he does at times passionately condemn them. But according to Frank, these condemnations simply show the depth of his predicament: his “intellectual acceptance” of Chernyshevsky’s determinism is conjoined with “simultaneous rejection of it with the entire intuitive-emotional level of personality identified with moral conscience,” causing him to respond irrationally in a multitude of instances. 5 Frank’s Underground Man, then, is an intellectual disciple but an emotional critic of Rational Egoism; and he is triply an irrationalist: his thinking is mired in self-contradiction, he acts irrationally as a result, and his opposition to Rational Egoism has not a rational but an “intuitive-emotional” basis.But where does this leave Dostoevsky? Must we conclude that he, too, is somehow suspended between acceptance and rejection of Rational Egoism and for that reason has created in Notes from Underground a Bakhtinian equilibrium in which neither position is clearly privileged? For Frank, certainly not. It follows from Frank’s analysis that Dostoevsky himself, unlike the Underground [End Page 550] Man, is a fully consistent opponent of Rational Egoism, for that theory is the target of the inverted irony at the core of his satire; “the... (shrink)

One of us [Gilbert, M.. “Collective Belief and Scientific Change.” Sociality and Responsibility. Lanham, MD: Rowman & Littlefield. 37-49.] has proposed that ascriptions of beliefs to scientific communities generally involve a common notion of collective belief described by her in numerous places. A given collective belief involves a joint commitment of the parties, who thereby constitute what Gilbert refers to as a plural subject. Assuming that this interpretive hypothesis is correct, and that some of the belief ascriptions in (...) question are true, then the members of some scientific communities have obligations that may act as barriers both to the generation and, hence, the fair evaluation of new ideas and to changes in their community’s beliefs. We argue that this may help to explain Thomas Kuhn’s observations on “normal science”, and go on to develop the relationship between Gilbert's proposal and several features of a group of physicists working on a fundamental physical theory called “string theory”, as described by physicist Lee Smolin [Smolin, L.. The Trouble with Physics. Mariner Books: New York.]. We argue that the features of the string theory community that Smolin cites are well explained by the hypothesis that the community is a plural subject of belief. (shrink)

An examination of Russia's philosophical heritage. It extends from the Slavophiles to the philosophers of the Silver Age, from emigre religious thinkers to Losev and Bakhtin and assesses the meaning for Russian culture as a whole.

It is still commonly supposed that Descartes based his argument for the mind-body distinction on the law of the indiscernibility of identicals. I argue that this interpretation is very unlikely to be correct. I explain three contemporary versions of this interpreta- tion and say why I reject it. Basically, use of this law for Descartes’s conclusion would require reference to human bodies or else the supposition, for the purpose of the argument, of reference to human bodies. But at the time (...) Descartes formulated his argument, he would not have allowed either. Instead, I amend a different interpretation which others have found, and briefly defend it against one famous objection. (shrink)

Donald R. Gregory has recently argued that the monk Gaunilo's response to St Anselm's ontological argument succeeds in showing what is fundamentally wrong with any ontological argument, including modern modal versions. He holds that the Gaunilo strategy in fact demonstrates what it alleges, that reasoning which parallels the form and intent ofAnselm's reductio argument can ‘prove’ a priori the existence of quite unacceptable entities.

Systemism and social mechanisms, as articulated by Bunge, are concepts with great potential for application to assessment of research progress. This study will use the conceptual tools made available by systemism and social mechanisms to evaluate the International Crisis Behavior (ICB) Project as a scientific effort toward the greater understanding of crises in world politics. Systemism and social mechanisms are articulated as key concepts in the quest for scientific progress. The goals and basic characteristics of the ICB Project as a (...) scientific venture then are described. The ICB Project is assessed in terms of how well it lives up to standards for scientific progress. Finally, conclusions and ideas about future research are presented. The basic finding of this study is that the ICB Project is quite successful in meeting the standards for scientific progress entailed by the concepts of systemism and social mechanisms. Key Words: scientific progress • international relations • international crises • paradigm. (shrink)

Clement Dore has offered a demonstration that God is possible. This is important because the Ontological Argument shows that if God is possible, it is necessarily true that God exists. Dore’s demonstration parallels Descartes’s Meditation V argument: (roughly) God by definition has all perfections; but (Dore proposes) possible existence is a perfection; therefore, God is possible. However, Leibniz recognized that Descartes’s argument is incomplete, omitting proof that the concept of God is consistent. Dore’s demonstration fails for just this reason. Dore’s (...) defense misses this objection. If the concept of God is consistent, that directly establishes that God is possible, making assumptions about perfections irrelevant. (shrink)

Far from merely reinvigorating relativism, postmodernism has detected and expressed in our time a powerful nihilating process of which truth and reality itself are the final casualties; and with these morality and religion. Beginning from the theological reaches of philosophy, this book argues that gods played a crucial part in modern philosophy, even when it was most critical of them; that the dominant nihilism of Derrida is really an excessive and misleading outcome of a contemporary philosophy which could otherwise resonate (...) with all that is best in our evolutionary image of the universe; that moralists who turn to art in order to overcome the fact-value version of this deadly dualism do not thereby rule out religion; and that a Christian theology which recognises the evolutionary/historical conditions of faith and revelation is once again producing a theology that builds upon the best of contemporary philosophy and science. (shrink)

In the conventional analysis of human behaviour, power and ethics are frequently considered contrary principles, in that power enforces, while ethics elicits a free response. But, as James Mackey forcefully shows, a more adventurous philosophical study of human morality escapes the sense of contraries, and sets us on a quest for the kind of power that liberates human creativity. It then becomes possible to establish the framework for a critical assessment of the kind of power that ought to be (...) operative in the major structures of human society, civil or ecclesiastical, state governments and church hierarchies. Mackey analyses the religious question which then quite naturally emerges, as to whether this Eros-type power so manifest in human society originates from beyond the more empirical structures of churches, states and 'nature'; and the effort to detect the specifically Christian characterisation of an allegedly ultimate power working in us for final well-being finds its natural context. (shrink)

This article presents texts recovered by post-processing of multispectral images from the fifth- or sixth-century underwriting of the palimpsest Codex Climaci Rescriptus. Texts identified include the Anonymous II Proemium to Aratus’ Phaenomena, parts of Eratosthenes’ Catasterisms, Aratus’ Phaenomena lines 71–4 and 282–99 and previously unknown text, including some of the earliest astronomical measurements to survive in any Greek manuscript. Codex Climaci Rescriptus also contains at least three astronomical drawings. These appear to form part of an illustrated manuscript, with considerable textual (...) value not merely on the basis of its age but also of its readings. The manuscript undertexts show significant overlap with the Φ Edition, postulated as ancestor of the various Latin Aratea. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

This project has been supported by the Australian Government through the Australian Research Council (project number CS170100008); the Department of Industry, Innovation and Science; and the Department of Prime Minister and Cabinet. ACOLA collaborates with the Australian Academy of Health and Medical Sciences and the New Zealand Royal Society Te Apārangi to deliver the interdisciplinary Horizon Scanning reports to government. The aims of the project which produced this report are: 1. Examine the transformative role that artificial intelligence may play in (...) different sectors of the economy, including the opportunities, risks and challenges that advancement presents. 2. Examine the ethical, legal and social considerations and frameworks required to enable and support broad development and uptake of artificial intelligence. 3. Assess the future education, skills and infrastructure requirements to manage workforce transition and support thriving and internationally competitive artificial intelligence industries. (shrink)

Patrick D Walsh; Education: one concept in many uses, Journal of Philosophy of Education, Volume 19, Issue 2, 30 May 2006, Pages 167–180, https://doi.org/10.111.

While French biologists were turning a cold shoulder to On the Origin of Species in the 1860s, Charles Darwin was earnestly pursuing a professional connection with one French physiologist in particular: Charles Brown-Séquard. Darwin had been closely following Brown-Séquard’s startling experiments on guinea pigs, which demonstrated that experimentally induced epilepsy could pass from parent to offspring. In Darwin’s mind, Brown-Séquard had produced the most convincing evidence to date that acquired traits could be inherited. Darwin saw opportunities in Brown-Séquard and his (...) work. If Brown-Séquard realized the evolutionary implications of his experiments, and then endorsed the Origin in Paris, Darwin could be well on his way to securing a French audience for his theories. Darwin quickly mobilized his powers of correspondence to make this French connection, but Brown-Séquard received Darwin’s advances with caution. A connection with Darwin could be useful in London and America, where he was increasingly spending time, but to publicly support Darwin would be professionally damaging back home in Paris. This paper examines the dance of letters between Darwin and Brown-Séquard, the politics of citation, and the delicacy of sustaining a transnational biological career between France and Britain in the 1860s. This paper casts a new perspective on an old debate in the history of biology. I show that from within the “heavy cloud” of anti-evolutionary thought in France, there existed a live wire between Brown-Séquard and Darwin. I argue that British evolutionary theory in the age of Darwin was built, in part, with French participation. (shrink)

Patrick D Walsh; Open and Loaded Uses of ‘Education’—and objectivism, Journal of Philosophy of Education, Volume 22, Issue 1, 30 May 2006, Pages 23–35, https://.

We present an analogue of Gödel’s second incompleteness theorem for systems of second-order arithmetic. Whereas Gödel showed that sufficiently strong theories that are $\Pi ^0_1$ -sound and $\Sigma ^0_1$ -definable do not prove their own $\Pi ^0_1$ -soundness, we prove that sufficiently strong theories that are $\Pi ^1_1$ -sound and $\Sigma ^1_1$ -definable do not prove their own $\Pi ^1_1$ -soundness. Our proof does not involve the construction of a self-referential sentence but rather relies on ordinal analysis.

Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator ``in (...) the limit'' within the ultrafilter of sentences that are true in the standard model. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $\alpha$, we produce a function that is cofinally equivalent to $\mathsf{Con}^\alpha_T$ yet cofinally equivalent to $\mathsf{Con}_T$. (shrink)

This is an open access book which explores phenomenology as both an exceptionally diverse movement in philosophy as well as an active research method that crosses disciplinary boundaries. The volume brings together lively overviews of major areas and schools of phenomenology, as well as the most recent applications across a range of fields. The first part reviews the state-of-the-art in various areas of contemporary phenomenology, including several distinct schools of Husserl and Heidegger scholarship, as well as approaches derived from Merleau-Ponty, (...) de Beauvoir, Fanon, and others. An innovative quantitative analysis of citation networks provides rich visualizations of the field as a whole. The second part showcases phenomenology as a living discipline that can advance research in other areas. While some areas of interaction between phenomenology and other disciplines are by now well established (e.g. cognitive science), this volume sheds light on newer areas of application. The goal is to move beyond discussions of philosophical method and highlight scholars who are actually doing phenomenology in a variety of areas, including: Embodiment and questions of gender, race, and identity, The arts (visual art, literature, architecture), and Archaeology and anthropology. This volume offers a concise introduction to cutting edge phenomenological research and is suitable for both students and specialists. (shrink)

Sense of agency refers to the sense of initiating and controlling actions in order to influence events in the outside world. Recently, a distinction between implicit and explicit aspects of sense of agency has been proposed, analogous to distinctions found in other areas of cognition, notably learning. However, there is yet no strong evidence supporting separable implicit and explicit components of sense of agency. The so-called ‘Perruchet paradigm’ offers one of the few convincing demonstrations of separable implicit and explicit learning (...) systems. We adopted this approach to evaluate the implicit–explicit distinction in the context of a simple task in which outcomes were probabilistically caused by actions. In line with our initial predictions, we found evidence of a dissociation. We discuss the implications of this result for theories of sense of agency. (shrink)

This book explores phenomenology as a diverse movement in philosophy and as an active research method that crosses disciplinary boundaries. Bringing together overviews of major areas and schools of phenomenology, as well as the most recent applications of phenomenology across a range of fields, this volume offers a concise introduction to phenomenological research. The first part reviews the state of the art in various areas of contemporary phenomenology, including several distinct schools of Husserl and Heidegger scholarship, as well as approaches (...) derived from Merleau-Ponty, Beauvoir, Fanon, and others. A quantitative analysis of citation networks provides visualizations of the field as a whole. The second part showcases phenomenology as a living discipline that is advancing research into questions of embodiment and identity, the arts, and archaeology and anthropology. (shrink)

Natural Formalization proposes a concrete way of expanding proof theory from the meta-mathematical investigation of formal theories to an examination of “the concept of the specifically mathematical proof.” Formal proofs play a role for this examination in as much as they reflect the essential structure and systematic construction of mathematical proofs. We emphasize three crucial features of our formal inference mechanism: (1) the underlying logical calculus is built for reasoning with gaps and for providing strategic directions, (2) the mathematical frame (...) is a definitional extension of Zermelo–Fraenkel set theory and has a hierarchically organized structure of concepts and operations, and (3) the construction of formal proofs is deeply connected to the frame through rules for definitions and lemmas. To bring these general ideas to life, we examine, as a case study, proofs of the Cantor–Bernstein Theorem that do not appeal to the principle of choice. A thorough analysis of the multitude of “different” informal proofs seems to reduce them to exactly one. The natural formalization confirms that there is one proof, but that it comes in two variants due to Dedekind and Zermelo, respectively. In this way it enhances the conceptual understanding of the represented informal proofs. The formal, computational work is carried out with the proof search system AProS that serves as a proof assistant and implements the above inference mechanism; it can be fully inspected at (see link below). (shrink)

We investigate the processes underlying the feeling of control over one’s actions . Sense of agency may depend on internal motoric signals, and general inferences about external events. We used priming to modulate the sense of agency for voluntary and involuntary movements, by modifying the content of conscious thought prior to moving. Trials began with the presentation of one of two supraliminal primes, which corresponded to the effect of a voluntary action participants subsequently made. The perceived interval between movement and (...) effect was used as an implicit measure of sense of agency. Primes modulated perceived intervals for both voluntary and involuntary movements, but the modulation was greatest for involuntary movements. A second experiment showed that this modulation depended on prime–movement contiguity. We propose that sense of agency is based on a combination of internal motoric signals and external sensory evidence about the source of actions and effects. (shrink)